Reliability Calculation of HDL-Designs for FPGA-Based Safety Related Systems
نویسنده
چکیده
For the use of Field Programmable Gate Array (FPGA) in safety-related applications, Hardware Description Languages (HDL) are used to define the digital function. The process of such development is presented in the international standard IEC 61508, which introduces guidelines and calculations to achieve a specific Safety Integrity Level (SIL). However, it is not concerning the estimation and calculation of the reliability of used HDL codes. In this paper, a novel reliability model for the quantitative evaluation of the reliability of HDL Designs is introduced. An example of the quantitative reliability calculation of the digital circuit design is described with the inclusion of multiple errors within a failure to validate the new approach of the reliability model for HDL. For this, conventional software reliability models (SRMs) are applied. Due to the parallel processing nature of HDL more concurrent faults can lead to a failure, therefore current SRMs need to be extended. Specifically, the comparison between the classical programming languages (CPL) based on a single error, and the HDL description with the multiple errors are represented. The results of the CPL and HDL are analyzed according to the differences, which are caused by the approach of the adaptation of the SRMs. Reliability corruption that results from the calculation of the single error is corrected by the multiple errors for the HDL. This allows the validation of the new approach of the reliability model of HDL with the existing SRMs of CPL. Key–Words: Safety-Related Applications, IEC 61508, Hardware Description Language (HDL), Reliability, FPGA
منابع مشابه
Reliability Models for Hardware Description Languages in Safety Related Systems
For the development of Application Specific Integrated Circuits (ASICs) for safety-related applications Hardware Description Languages (HDLs) are used. The process of such development is presented in the international standard IEC 61508, which introduces guidelines and calculations to achieve a specific Safety Integrity Level (SIL). However, it is not concerning the estimation and calculation o...
متن کاملDesign and Application of a Formal Verification Tool for VHDL Designs
The design of Control and Instrumentation (C & I) systems used in safety critical applications such as nuclear power plants involves partitioning of the overall system functionality into subparts and implementing each subpart in hardware and/or software as appropriate. With increasing use of programmable devices like FPGA, the hardware subsystems are often implemented in Hardware Description La...
متن کاملNeuro-fuzzy control of bilateral teleoperation system using FPGA
This paper presents an adaptive neuro-fuzzy controller ANFIS (Adaptive Neuro-Fuzzy Inference System) for a bilateral teleoperation system based on FPGA (Field Programmable Gate Array). The proposed controller combines the learning capabilities of neural networks with the inference capabilities of fuzzy logic, to adapt with dynamic variations in master and slave robots and to guarantee good prac...
متن کاملHigh Speed Fault Injection Tool Implemented With Verilog HDL on FPGA for Testing Fault Tolerance Designs
This paper presents an FPGA-based fault injection tool, called FITO that supports several synthesizable fault models for dependability analysis of digital systems modeled by Verilog HDL. Using the FITO, experiments can be performed in real-time with good controllability and observability. As a case study, an Open RISC 1200 microprocessor was evaluated using an FPGA circuit. About 4000 permanent...
متن کاملDeveloping Functional Safety Systems with TÜV-Qualified FPGAs
This white paper discusses how market trends, the need for increased productivity, and new legislation have accelerated the use of safety systems in industrial machinery. This TÜV-qualified FPGA design methodology is changing the paradigms of safety designs and will greatly reduce development effort, system complexity, and time to market. This allows FPGA users to design their own customized sa...
متن کامل